Overview of Verification Tools for Business Process Models
نویسندگان
چکیده
Formal verification of process models is an important issue in Business Process Management. Such a verification provides the information about the correctness of a process model, can be also used for checking business compliance or as a preliminary step to simulation. In this paper, we provide an overview of the existing tools for such a verification.
منابع مشابه
Proposal of a Hierarchical Approach to Formal Verification of BPMN Models Using Alvis and XTT2 Methods∗
BPMN is a visual notation for modeling business processes. Although there are many tools supporting it, they rarely provide formal verification of models. We propose a new approach to formal verification of BPMN models using the Alvis modeling language and the XTT2 knowledge representation. The structure of the BPMN model can be analyzed using translation to Alvis. Alvis models can be verified ...
متن کاملA Survey of Formal Business Process Verification: From Soundness to Variability
Formal verification of business process models is of interest to a number of application areas, including checking for basic process correctness, business compliance, and process variability. A large amount of work on these topics exist, while a comprehensive overview of the field and its directions is lacking. We provide an overview and critical reflections on existing approaches.
متن کاملTransformation of BPMN Models for Behaviour Analysis
In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business processes can help to improve the quality of these business processes. However, existing tools can not directly be applied to models used in industry. In this paper, we present our approach for model verification and validation: trans...
متن کاملFormal Verification of BPEL4WS Business Collaborations
Web services are a very appropriate communication mechanism to perform distributed business processes among several organisations. These processes should be reliable, because a failure in them can cause high economic losses. To increase their reliability at design time, we have developed VERBUS, a framework for the formal verification of business processes. VERBUS can automatically translate bu...
متن کاملFrom Process Models to Business Process Architectures: Connecting the Layers
Business process management has become a standard commodity to manage and improve business operations in organisations. Large process model collections emerged. Managing, and maintaining them has become a major area of research. Business process architectures (BPAs) have been introduced to support this task focusing on interdependencies between processes. Both the process and BPA layer are ofte...
متن کامل